let f () () = ()

let (_ : _ -> _) = f ()
